# -*- Makefile -*-

.PHONY: gendoc

gendoc:
	doxygen Doxyfile;

distclean-local:
	rm -f html/*;
